First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
71	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2006-05-24 10:11:01 Mathematical analysis Mathematical logic Logic Dynamic programming Markov decision process Stochastic control Constructible universe Situation calculus First-order logic Distribution
72	Deductive Logic Syllabus Summer 2014 Course Description Logic is the study of valid demonstrative argumentation. A valid argument is one whose premises imply its conclusion. Implication is in turn a matter of argumentati Add to Reading List Source URL: jamesjpearson.files.wordpress.com Language: English - Date: 2014-09-09 17:55:34 Logic Philosophy Abstraction Philosophical logic Model theory Reasoning Argument Critical thinking Logical consequence First-order logic Logical truth Interpretation
73	Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-03-02 06:43:58 Mathematical logic Logic Theoretical computer science Type theory Automated theorem proving Logic programming Data types Unification Recursive data type Substitution Corecursion First-order logic
74	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
75	¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-11-26 15:35:09 Mathematical logic Logic Mathematics Model theory Predicate logic Automated theorem proving Logic programming Substitution First-order logic Normal distribution Structure Axiom of extensionality
76	From Formal Concept Analysis to Contextual Logic Frithjof Dau and Julia Klinger Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt, Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Philosophy Abstraction Graph theory Diagrams Formal concept analysis Lattice theory Ontology Conceptual graph Existential graph Graph First-order logic
77	Applied Ontology–0 IOS Press 1 Vague size predicates Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:04:47 Logic Mathematical logic Mathematics Predicate logic Grammar Model theory Formal languages First-order logic Predicate FO Argument Resolution
78	Introduction to Logic FALL 2015 PHIFall 2015 Add to Reading List Source URL: www.davidspewak.com Language: English - Date: 2015-12-13 17:32:12 Education Logic Critical thinking Aplia Cengage Learning Economics education Final examination Homework First-order logic Argument Fallacy
79	A temporal mereology for distinguishing between integral objects and portions of stuff Thomas Bittner1,2,3,4 and Maureen Donnelly1,3 3 1 Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2007-05-05 14:40:28 Philosophy Logic Ontology Metaphysics Predicate logic Mereology Mathematical logic Temporal parts Simple First-order logic Lemonade Integral
80	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar

UPDATE